A Feasibility Study
نویسنده
چکیده
Abstract. We perform a direct comparison of the Succinct Solver v2.0 and XSB Prolog v2.6 based on experiments with Control Flow Analyses of scalable Discretionary Ambient programs and Carmel programs. To facilitate this comparison we expand ALFP clauses accepted by the Succinct Solver into more general Normal clauses accepted by both solvers and run the experiments for all three possible combinations of input and solver. This allows the solvers to be tested on even ground and enables the reuse of existing analyses and their corresponding ALFP constraint generators. The performance of the Succinct Solver is at worst a small constant factor worse than XSB Prolog. In optimum cases the Succinct Solver outperforms XSB Prolog by having a substantially lower asymptotic complexity.
منابع مشابه
The Establishment of an Efficient Regional Economic Integrative Core Forum among the OIC Members: A Feasibility Study
متن کامل
Feasibility Study of Building a Human Powered Hydrofoil Vessel
In this paper, a feasibility study of building a Human Powered Hydrofoil (HPH) vessel is reported. Hydrofoil vessels are a well-known class of high-speed crafts. In addition to high-speed operation, the hydrofoils have a reliable maneuvering capability, good stability and proper operation in waves. Also, a human powered vehicle, nowadays is an advancing idea. Different aspects of the design and...
متن کاملAssessment of the diagnostic capability of ultrasound in early diagnosis of nephrolithiasis: a feasibility study
متن کامل
Feasibility of setting up a health promotion and disease prevention center with a healthy aging approach
Introduction: In spite of the global trend towards increased screening efforts, there remain instances where uncertainty surrounds the cost-effectiveness of this approach. In such cases, a comprehensive assessment that considers cost-effectiveness, feasibility, and factors related to epidemiology, socio-culture, and community becomes indispensable. This assessment offers crucial insights to gui...
متن کاملFeasibility study of Providing Complementary Medicine Services through Telemedicine: A Case Study from Iran.
متن کامل
Feasibility Study of Agricultural Processing Industries Development in Ilam Province, Iran
The purpose of this study was to study the feasibility of establishing agricultural processing industries in Ilam Province.A mixed research method (Dominant, Less Dominant and two-phase design) was used. A Delphi technique as qualitativeresearch method, and a descriptive-survey method for quantitative phase was applied. Based on the results of the Delphi panel, 65 different types of agricultura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003